Fully statically linked skyscope binary #94
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
So that libffi and libgmp include .a files.
|
This is awesome, thanks!
Even having to build GHC etc in full, the convenience of distributing a single statically linked binary is worth it IMO. |
|
Relevant static-haskell-nix upstream work: nh2/static-haskell-nix@c91a9b4, nh2/static-haskell-nix#116 |
Yes, just need to figure out how to build it without timing out CI in that case. Maybe we can connect CI to a Nix remote builder? |
As static-haskell-nix doesn't yet support MacOS, and as we don't have a Nix
cache with an appropriate GHC, it will be convenient to allow both types of
linking for the time being.
The default will be to link dynamically. To build a fully static binary pass:
--host_platform=//backend:static_executable
This was referenced Dec 4, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This uses rules_haskell's capability for fully static linking together with static libraries and an appropriate GHC provided by static-haskell-nix and patched as described in this blog post.
A build on Linux confirms that the resulting library is fully static and is functional.
What's missing to be able to merge this is (at least) to have the appropriate GHC, GCC, zlib, etc. in a Nix cache.
Warning: If you test this locally this will build GHC via Nix. You can use a remote builder configured in
/etc/nix/machinesto speed it up.cc @nh2 @jonathanlking